add release job to CI #493

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

davidhewitt merged 1 commit into main from ci-publish

May 18, 2025

Member

davidhewitt commented May 17, 2025

So that it's quicker for us to publish new releases (just publish the GitHub tag).


          add release job to CI

27393fd

Icxolu approved these changes

View reviewed changes

Contributor

Icxolu left a comment

Sounds good to me 👍

davidhewitt merged commit 66c7935 into main

8 of 9 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet